Instance Verification Kit (IVK)
mutex lock @ [1246+26+/linux-3.17-rc1/drivers/clk/clk.c]
Instance Signature: prepare_lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__clk_init
[41949+10+/linux-3.17-rc1/drivers/clk/clk.c]
__clk_put
[54023+9+/linux-3.17-rc1/drivers/clk/clk.c]
clk_debug_init
[8851+14+/linux-3.17-rc1/drivers/clk/clk.c]
clk_disable_unused
[11476+18+/linux-3.17-rc1/drivers/clk/clk.c]
clk_dump
[4568+8+/linux-3.17-rc1/drivers/clk/clk.c]
clk_dump_one
[3913+12+/linux-3.17-rc1/drivers/clk/clk.c]
clk_dump_subtree
[4274+16+/linux-3.17-rc1/drivers/clk/clk.c]
clk_get_accuracy
[24476+16+/linux-3.17-rc1/drivers/clk/clk.c]
clk_get_parent
[37882+14+/linux-3.17-rc1/drivers/clk/clk.c]
clk_get_rate
[26258+12+/linux-3.17-rc1/drivers/clk/clk.c]
clk_notifier_register
[55219+21+/linux-3.17-rc1/drivers/clk/clk.c]
clk_notifier_unregister
[56383+23+/linux-3.17-rc1/drivers/clk/clk.c]
clk_prepare
[18606+11+/linux-3.17-rc1/drivers/clk/clk.c]
clk_prepare_lock
[1111+16+/linux-3.17-rc1/drivers/clk/clk.c]
clk_prepare_unlock
[1412+18+/linux-3.17-rc1/drivers/clk/clk.c]
clk_round_rate
[22177+14+/linux-3.17-rc1/drivers/clk/clk.c]
clk_set_parent
[40317+14+/linux-3.17-rc1/drivers/clk/clk.c]
clk_set_rate
[36778+12+/linux-3.17-rc1/drivers/clk/clk.c]
clk_summary_show
[3103+16+/linux-3.17-rc1/drivers/clk/clk.c]
clk_summary_show_one
[2533+20+/linux-3.17-rc1/drivers/clk/clk.c]
clk_summary_show_subtree
[2825+24+/linux-3.17-rc1/drivers/clk/clk.c]
clk_unprepare
[17497+13+/linux-3.17-rc1/drivers/clk/clk.c]
clk_unregister
[51472+14+/linux-3.17-rc1/drivers/clk/clk.c]